Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
271	Higher Dimensional Discrete Cheeger Inequalities 1 Anna Gundert∗ Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2015-08-27 09:56:30 Functional analysis Operator theory Representation theory of Lie groups Spectral theory Logic programming Substitution Orbifold
272	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
273	J. LOGIC PROGRAMMING 1999:41:233{CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:02 Automated theorem proving Operator Operator theory Resolution Horn clause
274	RMM Vol. 4, 2013, 28–38 Special Topic: Coevolving Relationships between Political Science and Economics Edited by Herbert David, Hartmut Kliemt and Elinor Ostrom http://www.rmm-journal.de/ Werner Güth and Hartmut Kli Add to Reading List Source URL: www.rmm-journal.com Language: English - Date: 2013-05-15 12:12:57 Auctions Bidding Commerce Logic programming Public choice Elinor Ostrom
275	ACTIONS AND OTHER EVENTS IN SITUATION CALCULUS John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:19:36 Logic in computer science Logic programming Situation calculus Z notation Fluent S
276	Data Conflict Resolution Using Trust Mappings Wolfgang Gatterbauer Dan Suciu University of Washington, Seattle Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:01 Constraint programming Probability theory Graphical models Logic programming
277	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org Language: English - Date: 2014-07-12 00:42:10 International Conference on Logic Programming Symposium on Principles of Programming Languages ICLP Association for Computing Machinery Logic programming Logic Prolog
278	Computer Science Education 2004, Vol. 14, No. 3, pp. 235–248 Teaching Algorithm Efficiency at CS1 Level: A Different Approach Judith Gal-Ezer, Tamar Vilner, and Ela Zur Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:41:13 Theoretical computer science Analysis of algorithms Dynamic programming Software optimization Algorithm Mathematical logic Selection algorithm Recursion Sort Best worst and average case Knapsack problem Matrix chain multiplication
279	Microsoft Word - LAW-Paper.doc Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Theoretical computer science Logic in computer science Formal methods Computer security ACL2 Lisp Formal verification SPARK Domain-specific language Pointer Information security Programming language
280	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Software testing Reference Constraint satisfaction problem Const Parameter Concolic testing Constraint logic programming

UPDATE